#include <stdio.h>
int main()

{int n;

  scanf("%d",&n);

  printf("%d %d %d\n",n-1,n-1,n-1);

  printf("%d   %d\n",n,n);

  printf("%d %d %d\n",n+1,n+1,n+1);

   return 0;


}
